Slicing Synchronous Reactive Programs

Static Slicing of Reactive Programs

The Synchronous Approach to Reactive and Real-Time Systems

This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness pr...

Synchronous Estelle: Just Another Synchronous Language?

Synchronous Estelle is a new language designed to specify distributed reactive systems. We have developed this new language, that tries to merge both asynchronous and synchronous paradigms, as an answer to some problems not solved with existing techniques. We will show its syntactic and semantic features, the way to obtain executable programs according to a specification, and some hints to perf...

Nested clocks: The LUSTRE synchronous dataflow language

Lustre is a dataflow language designed for the programming of reactive systems. After a brief introduction to reactive systems, and the notion of synchronous system, the constructs of the language are presented. Lustre programs manipulate clocked streams, and the notion of nested clock is the principal interest of Lustre. The denotational semantics of the language is in the style of Kahn’s netw...

Dynamic Slicing Research of UML Statechart Specifications

This paper extends the well-known technique of dynamic slicing to Statechart specifications of reactive systems. Statechart language extends state machines along hierarchy, concurrency and communication – resulting in a compact visual notation that allows engineers to structure and modularize system descriptions. Dynamic slicing is well known in the domain of sequential transformational program...